منابع مشابه
Combining Epistemic Logic and Hennessy-Milner Logic
We define an epistemic logic for labelled transition systems by introducing equivalence relations for the agents on the states of the labelled transition system. The idea is that agents observe the dynamics of the system modulo their ability to distinguish states and in the process learn about the current state and past history of the execution. This is in the spirit of dynamic epistemic logic ...
متن کاملSuperoxide dismutase: master and commander?
I nhaled nitric oxide (NO) has long been known to be an effective pulmonary vasodilator in the normal pulmonary vasculature. In the classical NO signalling pathway, it activates soluble guanylate cyclase in the cytoplasm of pulmonary artery smooth muscle cells, leading to the production of cyclic guanosine monophosphate (cGMP), which then activates protein kinase G (PKG). PKG, acting through se...
متن کاملFinal coalgebras and the Hennessy-Milner property
The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing coalgebraic states up to bisimilarity. This applies to coalgebras of any functor on the category of sets for which the bisimilarity relation is transitive. There are cases of functors that do have logics with the Henness...
متن کاملCommander S — The shell as a browser
Commander S is a new approach to interactive Unix shells based on interpretation of command output and cursor-oriented terminal programs. The user can easily refer to the output of previous commands when composing new command lines or use interactive viewers to further explore the command results. Commander S is extensible by plug-ins for parsing command output and for viewing command results i...
متن کاملATLAS Commander: an ATLAS production tool
This paper describes the ATLAS production tool AtCom (for ATLAS Commander). The purpose of the tool is to automate as much as possible the task of a production manager: defining and submitting jobs in large quantities, following up upon their execution, scanning log files for known and unknown errors, updating the various ATLAS bookkeeping databases on successful completion of a job whilst clea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1954
ISSN: 0028-0836,1476-4687
DOI: 10.1038/174063a0